全文获取类型
收费全文 | 9943篇 |
免费 | 2902篇 |
国内免费 | 1521篇 |
专业分类
航空 | 8220篇 |
航天技术 | 1887篇 |
综合类 | 1032篇 |
航天 | 3227篇 |
出版年
2024年 | 57篇 |
2023年 | 225篇 |
2022年 | 595篇 |
2021年 | 692篇 |
2020年 | 656篇 |
2019年 | 517篇 |
2018年 | 532篇 |
2017年 | 695篇 |
2016年 | 511篇 |
2015年 | 617篇 |
2014年 | 624篇 |
2013年 | 726篇 |
2012年 | 844篇 |
2011年 | 842篇 |
2010年 | 751篇 |
2009年 | 772篇 |
2008年 | 723篇 |
2007年 | 687篇 |
2006年 | 677篇 |
2005年 | 539篇 |
2004年 | 433篇 |
2003年 | 330篇 |
2002年 | 332篇 |
2001年 | 262篇 |
2000年 | 201篇 |
1999年 | 148篇 |
1998年 | 69篇 |
1997年 | 62篇 |
1996年 | 49篇 |
1995年 | 33篇 |
1994年 | 32篇 |
1993年 | 19篇 |
1992年 | 30篇 |
1991年 | 22篇 |
1990年 | 19篇 |
1989年 | 18篇 |
1988年 | 10篇 |
1987年 | 10篇 |
1985年 | 2篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 311 毫秒
11.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
12.
深入分析电商行业的用户个性化数据并提供推荐服务近年来已成为业界的热点。推荐服务的基础是对用户的潜在兴趣进行挖掘,并对商品的感兴趣程度进行预测。因此,以此为背景,研究用户对商品的评分预测。对电商业的关系型数据在推荐系统中的应用进行了研究,提出了通过使用网络表示学习进行评分预测的方法。首先,将关系型数据构建成异构网络,用户和商品为网络中的节点。然后,设计了兼顾网络结构信息和节点之间相似性的个性化异构网络采样方法,并对节点进行表示学习。最后,将学习到的用户、商品表示向量输入到神经网络中进行训练,利用优化后的神经网络模型进行评分预测。实验结果表明:所提方法在YELP 13、Movielens 100k、Movielens 1m数据集上都有较高的准确率,对比常用方法,准确率提升6.5%以上。 相似文献
13.
随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信性.遵循这一思路,设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式,进一步给出当一组件可信性发生变化,整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例,证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性. 相似文献
14.
客流密度是影响地铁列车客室内热舒适性环境的重要因素,传统的地铁列车客室温度控制主要是根据UIC-553标准,以室内外温差作为控制核心.本文通过构建全尺寸地铁列车客室-乘客-空调送风耦合的一体化模型,利用实车试验与数值模拟相结合的方法,对地铁列车客室内的热舒适性展开研究.探讨客流密度对地铁列车客室内热舒适环境的影响规律以及不同客流密度下客室平均温度与空调送风温度之间的关系,得到了不同客流密度下能满足人体热舒适性体验的空调送风温度,提出了一种基于客流密度的地铁列车空调夏季送风温度控制模型. 相似文献
15.
Yi Wei Qingjun Li Fangnuan Xu 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2021,67(1):393-400
A new orbit-attitude-vibration coupled dynamic model of the tethered solar power satellite (Tethered SPS) is established based on absolute nodal coordinate formulation. The Hamilton’s equation of the system is derived by introducing generalized momentum through Legendre transformation. The correctness of the proposed model is verified by an example. The dynamic characteristics of the Tethered SPS are studied using the symplectic Runge-Kutta method. Simulation results show that the orbital radius and the total energy of the system are well preserved. The attitude of the system is unstable when the mass of the bus system is small. However, the attitude stability is dependent on some other parameters of the system, which requires further studies. It is also found that the average tether force/deformation can be roughly estimated by simplifying the solar panel as a particle. The proposed model can be used to study the orbit-attitude-vibration coupled dynamics and control problems. 相似文献
16.
针对具有复杂围护结构光学窗口传热特性,建立了高热流作用下的光学窗口及其复杂围护结构的辐射-导热传热模型,分别讨论了窗口的辐射半透明、光谱选择性、外部加热热流以及窗口尺寸对其瞬态温度响应的影响。结果表明,忽略窗口半透明特征会产生最大31.4%误差,忽略光谱选择性会产生最大40.4%误差;窗口外部气动加热热流影响显著,温度响应随热流的增大而急剧增大;窗口厚度对其传热特性的影响较大,随着厚度的增大窗口温度响应减小;而窗口半径产生的影响可忽略不计。 相似文献
17.
联邦学习是一种新型的分布式学习框架,它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先,本文介绍了联邦学习的基本概念和威胁模型,有助于理解其面临的攻击。其次,本文总结了由内部恶意实体发起的3种攻击类型,同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较,进一步讨论了该领域未来的发展方向。 相似文献
18.
Yongjie Ding Jia Boyang Hezhi Sun Liqiu Wei Wuji Peng Peng Li Daren Yu 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2018,61(3):837-843
Discharge characteristics of a non-wall-loss Hall thruster were studied under different channel lengths using a design based on pushing a magnetic field through a double permanent magnet ring. The effect of different magnetic field intensities and channel lengths on ionization, efficiency, and plume divergence angle were studied. The experimental results show that propellant utilization is improved for optimal matching between the magnetic field and channel length. While matching the magnetic field and channel length, the ionization position of the neutral gas changes. The ion flow is effectively controlled, allowing the thrust force, specific impulse, and efficiency to be improved. Our study shows that the channel length is an important design parameter to consider for improving the performance of non-wall-loss Hall thrusters. 相似文献
19.
针对流动/酚醛树脂热解产物燃烧耦合数值模拟过程中使用详细化学反应机理带来的数值刚性问题,以保证计算精度要求,对酚醛树脂热解产物详细化学反应动力学模型进行简化研究。选取Chemkin-Pro中的良搅拌反应模型,对由53种组分325个基元反应组成的甲烷掺氢气详细化学反应动力学机理进行了敏感性分析和生产速率分析,得到包含15种组分15个基元反应的简化机理。结果表明:简化化学动力学模型能充分地再现详细基元反应模型的反应机理的主要特征,大幅缩短计算时间,进而用于高超声速条件下酚醛树脂热解产物引射及其对边界层扰动的计算流体动力学(Computational fluid dynamics,CFD)中。 相似文献